‘Tuning’ an ASM Metric: Study in Metric ASM Optimization
نویسندگان
چکیده
Wc present an approximate string matching case study. An optimized version of the edit distance algorithm is described which has proven more accurate for a particular commercial application than the existing (benchmark) algorithm. The cvoluhon and nature of the optimization are detailed and test results are presented.
منابع مشابه
In Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays
We define a notion of implementation for real-time Abstract State Machines (ASM) with instantaneous actions by machines with delayed actions. The time is continuous, and time constraints are metric. It is clear that not every machine of the first type can be implemented by a machine of the second type. We describe sufficient conditions on ASM that permit to construct such an implementation in a...
متن کاملOn Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays
We define a notion of implementation for real-time Abstract State Machines (ASM) with instantaneous actions by machines with delayed actions. The time is continuous, and time constraints are metric. It is clear that not every machine of the first type can be implemented by a machine of the second type. We describe sufficient conditions on ASM that permit to construct such an implementation in a...
متن کاملComposite Kernel Optimization in Semi-Supervised Metric
Machine-learning solutions to classification, clustering and matching problems critically depend on the adopted metric, which in the past was selected heuristically. In the last decade, it has been demonstrated that an appropriate metric can be learnt from data, resulting in superior performance as compared with traditional metrics. This has recently stimulated a considerable interest in the to...
متن کاملAutomatic Tuning of the Internal Position Control of an Adaptive Secondary Mirror
One of the key component of an Adaptive Optics system is the deformable mirror. This mirror can correct the atmospheric turbulence effects by changing its shape. In the last years Adaptive Secondary Mirrors (ASM) have been developed and the Large Binocular Telescope (LBT) will be soon equipped with two ASMs. Each LBT ASM unit has 672 voice-coil force actuators to change the shape of the mirror ...
متن کاملLinking architectural and component level system views
In hardware and software design model checkers are nowadays used with success to verify properties of system components [23]. The limits of the approach to cope with the size and the complexity of modern computer-based systems are felt when it comes to provide evidence of the trustworthiness of the entire system that has been built out of verified components. To achieve this task one has to exp...
متن کامل